$\forall$$i$:Id, $L$:Id List, $k$:Knd. @$i$: $k$ affects only members of $L$ $\in$ Dsys